Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can...

Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can...

University of New South Wales - Higher layer network protocols, end to end quality of service, real-time multimedia communications, subjective evaluation of user perception of QoS, internet routing protocols, network management, building distributed s...

L4/MIPS: stable L4 for MIPS R4x00 processor, may be fastest kernel for this architecture. L4/Alpha: begun at Technical University of Dresden, SMP version released. Linux ports: L4/MIPS, L4/Alpha underway.

University of New South Wales - Triangulation of planar straight line graphs, 3d convex hulls, and virtual reality.

University of New South Wales - Algorithm design, computational geometry, distributed and parallel computing, databases, data mining, and graph layouts.

University of New South Wales - Machine learning, logic programming, and knowledge based systems.

University of New South Wales - Databases, web search engines, image databases, education via the Internet, information filtering, deductive databases, and functional programming.

University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI design.

University of New South Wales - Application of logic programming, compiler technology, computers and biology, knowledge acquisition, knowledge representation, logic programming systems, program analysis, and signal recognition.